kw.\*:("Valid cuts")
Results 1 to 1 of 1
Selection :
Elliptic approximations of propositional formulae : The Satisfiability ProblemVAN MAAREN, H.Discrete applied mathematics. 1999, Vol 96-97, pp 223-244, issn 0166-218XArticle